Section: Dissemination

Teaching

• Vania Joloboff taught a class at Tsinghua University on SystemC and Transaction Level Modeling.

• Vania Joloboff taught a session at Shenzhen International Summer School on Embedded Systems Design.

• Jean-François Monin taught a module on Coq entitled Introduction to Interactive Proofs of Software at Tsinghua School Software, 3rd year undergraduate, but also followed by 4th year students, a master student of Beihang and 2 master students of University of Beijing, department of mathematics; volume: 35 hours.